Descriptive complexity

Results: 93



#Item
11A Structured-Specification Approach to Descriptive Complexity Claudia Elena Chiriţă – Faculty of Mathematics and Computer Science, University of Bucharest, Romania 1. Outline Theorem (Fagin). An isomorphism-closed cl

A Structured-Specification Approach to Descriptive Complexity Claudia Elena Chiriţă – Faculty of Mathematics and Computer Science, University of Bucharest, Romania 1. Outline Theorem (Fagin). An isomorphism-closed cl

Add to Reading List

Source URL: womencourage.acm.org

Language: English - Date: 2016-02-05 15:45:18
    12On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2

    On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2

    Add to Reading List

    Source URL: www.informatik.uni-bremen.de

    Language: English - Date: 2015-06-14 08:17:32
    13Queries Now, copyright 2007 by Mary E. DeMuth. Do not copy, distribute or disseminate without author’s permission. Queries Now: You can write one today! By Mary E. DeMuth PO Box 1503

    Queries Now, copyright 2007 by Mary E. DeMuth. Do not copy, distribute or disseminate without author’s permission. Queries Now: You can write one today! By Mary E. DeMuth PO Box 1503

    Add to Reading List

    Source URL: 2f1x5k43c8ijde721cf37k9f.wpengine.netdna-cdn.com

    Language: English - Date: 2014-07-25 11:52:39
    14Reports – Saving Queries  Saving Queries In this section we look at a few more advanced query techniques. We begin by going to the Reports menu and selecting the Transaction Query. A few functions that need to be expla

    Reports – Saving Queries Saving Queries In this section we look at a few more advanced query techniques. We begin by going to the Reports menu and selecting the Transaction Query. A few functions that need to be expla

    Add to Reading List

    Source URL: www.easybillingsoftware.com

    Language: English - Date: 2013-02-08 19:38:18
    15arXiv:physics/0508010v2 [physics.gen-ph] 26 SepKolmogorov Complexity, String Information, Panspermia and the Fermi Paradox V.G.Gurzadyan Dipartimento di Fisica, Universit`

    arXiv:physics/0508010v2 [physics.gen-ph] 26 SepKolmogorov Complexity, String Information, Panspermia and the Fermi Paradox V.G.Gurzadyan Dipartimento di Fisica, Universit`

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2008-02-02 00:59:26
    16Computing / Email / Descriptive complexity / Query

    Tier 2 Classification Query Request Form Contact details of query submitter: Name Enter name Jurisdiction

    Add to Reading List

    Source URL: ihpa.gov.au

    Language: English - Date: 2014-04-10 22:58:13
    17Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz &

    Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz &

    Add to Reading List

    Source URL: logic.berkeley.edu

    Language: English - Date: 2014-08-27 14:47:38
    18Motivation The collision-free string partition problems Complexity proofs Summary  The complexity of string partitioning

    Motivation The collision-free string partition problems Complexity proofs Summary The complexity of string partitioning

    Add to Reading List

    Source URL: www.cs.ucr.edu

    Language: English - Date: 2012-12-29 15:22:02
    19Preliminaries Decision Problems Optimisation Problems Descriptive Complexity of Optimisation Problems

    Preliminaries Decision Problems Optimisation Problems Descriptive Complexity of Optimisation Problems

    Add to Reading List

    Source URL: www.cs.bris.ac.uk

    Language: English - Date: 2014-03-11 07:07:10
    20On Process Complexity Adam R. Day August 10, 2010 Abstract Process complexity is one of the basic variants of Kolmogorov complexity. Unlike plain

    On Process Complexity Adam R. Day August 10, 2010 Abstract Process complexity is one of the basic variants of Kolmogorov complexity. Unlike plain

    Add to Reading List

    Source URL: cjtcs.cs.uchicago.edu

    Language: English - Date: 2011-06-03 17:30:32